Optimal. Leaf size=150 \[ -\frac {\left (3 a^2+16 a b+15 b^2\right ) \log (1-\sin (c+d x))}{16 d}+\frac {\left (3 a^2-16 a b+15 b^2\right ) \log (\sin (c+d x)+1)}{16 d}-\frac {\sec ^2(c+d x) (5 a \sin (c+d x)+7 b) (a+b \sin (c+d x))}{8 d}+\frac {\tan (c+d x) \sec ^3(c+d x) (a+b \sin (c+d x))^2}{4 d}-\frac {b^2 \sin (c+d x)}{d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.28, antiderivative size = 150, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {2837, 12, 1645, 1810, 633, 31} \[ -\frac {\left (3 a^2+16 a b+15 b^2\right ) \log (1-\sin (c+d x))}{16 d}+\frac {\left (3 a^2-16 a b+15 b^2\right ) \log (\sin (c+d x)+1)}{16 d}-\frac {\sec ^2(c+d x) (5 a \sin (c+d x)+7 b) (a+b \sin (c+d x))}{8 d}+\frac {\tan (c+d x) \sec ^3(c+d x) (a+b \sin (c+d x))^2}{4 d}-\frac {b^2 \sin (c+d x)}{d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 31
Rule 633
Rule 1645
Rule 1810
Rule 2837
Rubi steps
\begin {align*} \int \sec (c+d x) (a+b \sin (c+d x))^2 \tan ^4(c+d x) \, dx &=\frac {b^5 \operatorname {Subst}\left (\int \frac {x^4 (a+x)^2}{b^4 \left (b^2-x^2\right )^3} \, dx,x,b \sin (c+d x)\right )}{d}\\ &=\frac {b \operatorname {Subst}\left (\int \frac {x^4 (a+x)^2}{\left (b^2-x^2\right )^3} \, dx,x,b \sin (c+d x)\right )}{d}\\ &=\frac {\sec ^3(c+d x) (a+b \sin (c+d x))^2 \tan (c+d x)}{4 d}+\frac {\operatorname {Subst}\left (\int \frac {(a+x) \left (-a b^4-3 b^4 x-4 a b^2 x^2-4 b^2 x^3\right )}{\left (b^2-x^2\right )^2} \, dx,x,b \sin (c+d x)\right )}{4 b d}\\ &=-\frac {\sec ^2(c+d x) (7 b+5 a \sin (c+d x)) (a+b \sin (c+d x))}{8 d}+\frac {\sec ^3(c+d x) (a+b \sin (c+d x))^2 \tan (c+d x)}{4 d}+\frac {\operatorname {Subst}\left (\int \frac {b^4 \left (3 a^2+7 b^2\right )+16 a b^4 x+8 b^4 x^2}{b^2-x^2} \, dx,x,b \sin (c+d x)\right )}{8 b^3 d}\\ &=-\frac {\sec ^2(c+d x) (7 b+5 a \sin (c+d x)) (a+b \sin (c+d x))}{8 d}+\frac {\sec ^3(c+d x) (a+b \sin (c+d x))^2 \tan (c+d x)}{4 d}+\frac {\operatorname {Subst}\left (\int \left (-8 b^4+\frac {3 b^4 \left (a^2+5 b^2\right )+16 a b^4 x}{b^2-x^2}\right ) \, dx,x,b \sin (c+d x)\right )}{8 b^3 d}\\ &=-\frac {b^2 \sin (c+d x)}{d}-\frac {\sec ^2(c+d x) (7 b+5 a \sin (c+d x)) (a+b \sin (c+d x))}{8 d}+\frac {\sec ^3(c+d x) (a+b \sin (c+d x))^2 \tan (c+d x)}{4 d}+\frac {\operatorname {Subst}\left (\int \frac {3 b^4 \left (a^2+5 b^2\right )+16 a b^4 x}{b^2-x^2} \, dx,x,b \sin (c+d x)\right )}{8 b^3 d}\\ &=-\frac {b^2 \sin (c+d x)}{d}-\frac {\sec ^2(c+d x) (7 b+5 a \sin (c+d x)) (a+b \sin (c+d x))}{8 d}+\frac {\sec ^3(c+d x) (a+b \sin (c+d x))^2 \tan (c+d x)}{4 d}+\frac {\left (3 a^2+16 a b+15 b^2\right ) \operatorname {Subst}\left (\int \frac {1}{b-x} \, dx,x,b \sin (c+d x)\right )}{16 d}+\frac {\left (8 a b^4-\frac {3}{2} b^3 \left (a^2+5 b^2\right )\right ) \operatorname {Subst}\left (\int \frac {1}{-b-x} \, dx,x,b \sin (c+d x)\right )}{8 b^3 d}\\ &=-\frac {\left (3 a^2+16 a b+15 b^2\right ) \log (1-\sin (c+d x))}{16 d}-\frac {\left (16 a b-3 \left (a^2+5 b^2\right )\right ) \log (1+\sin (c+d x))}{16 d}-\frac {b^2 \sin (c+d x)}{d}-\frac {\sec ^2(c+d x) (7 b+5 a \sin (c+d x)) (a+b \sin (c+d x))}{8 d}+\frac {\sec ^3(c+d x) (a+b \sin (c+d x))^2 \tan (c+d x)}{4 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 1.02, size = 151, normalized size = 1.01 \[ \frac {-\left (3 a^2+16 a b+15 b^2\right ) \log (1-\sin (c+d x))+\left (3 a^2-16 a b+15 b^2\right ) \log (\sin (c+d x)+1)-\frac {(a-b)^2}{(\sin (c+d x)+1)^2}+\frac {(5 a-9 b) (a-b)}{\sin (c+d x)+1}+\frac {(a+b) (5 a+9 b)}{\sin (c+d x)-1}+\frac {(a+b)^2}{(\sin (c+d x)-1)^2}-16 b^2 \sin (c+d x)}{16 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.47, size = 151, normalized size = 1.01 \[ \frac {{\left (3 \, a^{2} - 16 \, a b + 15 \, b^{2}\right )} \cos \left (d x + c\right )^{4} \log \left (\sin \left (d x + c\right ) + 1\right ) - {\left (3 \, a^{2} + 16 \, a b + 15 \, b^{2}\right )} \cos \left (d x + c\right )^{4} \log \left (-\sin \left (d x + c\right ) + 1\right ) - 32 \, a b \cos \left (d x + c\right )^{2} + 8 \, a b - 2 \, {\left (8 \, b^{2} \cos \left (d x + c\right )^{4} + {\left (5 \, a^{2} + 9 \, b^{2}\right )} \cos \left (d x + c\right )^{2} - 2 \, a^{2} - 2 \, b^{2}\right )} \sin \left (d x + c\right )}{16 \, d \cos \left (d x + c\right )^{4}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.29, size = 157, normalized size = 1.05 \[ -\frac {16 \, b^{2} \sin \left (d x + c\right ) - {\left (3 \, a^{2} - 16 \, a b + 15 \, b^{2}\right )} \log \left ({\left | \sin \left (d x + c\right ) + 1 \right |}\right ) + {\left (3 \, a^{2} + 16 \, a b + 15 \, b^{2}\right )} \log \left ({\left | \sin \left (d x + c\right ) - 1 \right |}\right ) - \frac {2 \, {\left (12 \, a b \sin \left (d x + c\right )^{4} + 5 \, a^{2} \sin \left (d x + c\right )^{3} + 9 \, b^{2} \sin \left (d x + c\right )^{3} - 8 \, a b \sin \left (d x + c\right )^{2} - 3 \, a^{2} \sin \left (d x + c\right ) - 7 \, b^{2} \sin \left (d x + c\right )\right )}}{{\left (\sin \left (d x + c\right )^{2} - 1\right )}^{2}}}{16 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.32, size = 262, normalized size = 1.75 \[ \frac {a^{2} \left (\sin ^{5}\left (d x +c \right )\right )}{4 d \cos \left (d x +c \right )^{4}}-\frac {a^{2} \left (\sin ^{5}\left (d x +c \right )\right )}{8 d \cos \left (d x +c \right )^{2}}-\frac {a^{2} \left (\sin ^{3}\left (d x +c \right )\right )}{8 d}-\frac {3 a^{2} \sin \left (d x +c \right )}{8 d}+\frac {3 a^{2} \ln \left (\sec \left (d x +c \right )+\tan \left (d x +c \right )\right )}{8 d}+\frac {a b \left (\tan ^{4}\left (d x +c \right )\right )}{2 d}-\frac {a b \left (\tan ^{2}\left (d x +c \right )\right )}{d}-\frac {2 a b \ln \left (\cos \left (d x +c \right )\right )}{d}+\frac {b^{2} \left (\sin ^{7}\left (d x +c \right )\right )}{4 d \cos \left (d x +c \right )^{4}}-\frac {3 b^{2} \left (\sin ^{7}\left (d x +c \right )\right )}{8 d \cos \left (d x +c \right )^{2}}-\frac {3 b^{2} \left (\sin ^{5}\left (d x +c \right )\right )}{8 d}-\frac {5 b^{2} \left (\sin ^{3}\left (d x +c \right )\right )}{8 d}-\frac {15 b^{2} \sin \left (d x +c \right )}{8 d}+\frac {15 b^{2} \ln \left (\sec \left (d x +c \right )+\tan \left (d x +c \right )\right )}{8 d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.33, size = 148, normalized size = 0.99 \[ -\frac {16 \, b^{2} \sin \left (d x + c\right ) - {\left (3 \, a^{2} - 16 \, a b + 15 \, b^{2}\right )} \log \left (\sin \left (d x + c\right ) + 1\right ) + {\left (3 \, a^{2} + 16 \, a b + 15 \, b^{2}\right )} \log \left (\sin \left (d x + c\right ) - 1\right ) - \frac {2 \, {\left (16 \, a b \sin \left (d x + c\right )^{2} + {\left (5 \, a^{2} + 9 \, b^{2}\right )} \sin \left (d x + c\right )^{3} - 12 \, a b - {\left (3 \, a^{2} + 7 \, b^{2}\right )} \sin \left (d x + c\right )\right )}}{\sin \left (d x + c\right )^{4} - 2 \, \sin \left (d x + c\right )^{2} + 1}}{16 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 12.21, size = 332, normalized size = 2.21 \[ \frac {\ln \left (\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )+1\right )\,\left (\frac {3\,a^2}{8}-2\,a\,b+\frac {15\,b^2}{8}\right )}{d}-\frac {\ln \left (\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )-1\right )\,\left (\frac {3\,a^2}{8}+2\,a\,b+\frac {15\,b^2}{8}\right )}{d}+\frac {\left (-\frac {3\,a^2}{4}-\frac {15\,b^2}{4}\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^9-4\,a\,b\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^8+\left (2\,a^2+10\,b^2\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^7+12\,a\,b\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^6+\left (\frac {11\,a^2}{2}-\frac {9\,b^2}{2}\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^5+12\,a\,b\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^4+\left (2\,a^2+10\,b^2\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^3-4\,a\,b\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+\left (-\frac {3\,a^2}{4}-\frac {15\,b^2}{4}\right )\,\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}{d\,\left ({\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^{10}-3\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^8+2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^6+2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^4-3\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+1\right )}+\frac {2\,a\,b\,\ln \left ({\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+1\right )}{d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________